glues(es; B; g; f; Ia; Ib) == g glues Ia:e,e'. e loc e'  f Ib:e,e'. e loc e'  

latex

---

clarification:

glues(es; B; g; f; Ia; Ib)
== Q-R-glues(es;B;g;f;Ia;e,e'. es-le(es;e;e');Ib;e,e'. es-le(es;e;e')) 

latex

Definitions	g glues Ia:Qa f Ib:Rb, x.A(x), e loc e'
FDL editor aliases	glues